Rank-N Types